Nuprl Definition : pair def
12,41
postcript
pdf
<
a
,
b
> is Primitive
latex
origin